The Philosophical Presuppositions of Mathematical Logic.
نویسندگان
چکیده
منابع مشابه
Philosophical Presuppositions of Ayurveda and Modern Medicine
The theory of Ayurveda rests on the concepts of matter, vital principle, mind, and pure consciousness. It is a holistic theory of medicine, which aims at restoration of physical and mental health, and spiritual well-being in a sick person, so that he may self-actualize himself, and eventually, realize his nature as pure consciousness. Modern Western medicine tries to reduce consciousness, and v...
متن کاملthe possibility of seddiqin argument without philosophical presuppositions at modern logic
allameh tabatabaei has proposed the last and the shortest formulation of the “seddiqin argument” of which javadi amoli believes it provides no philosophical presuppositions and therefore can be the first question in islamic philosophy. the claim has yielded controversies pro and con. in the papers written on the subject matter, the claim has been criticized in particular and not in general. i t...
متن کاملComputing Presuppositions and Implicatures in Mathematical Discourse
In any well-written mathematical discourse a certain amount of mathematical and meta-mathematical knowledge is presupposed and implied. We give an account on presuppositions and implicatures in mathematical discourse and describe an architecture that allows to effectively interpret them. Our approach heavily relies on proof methods that capture common patterns of argumentation in mathematical d...
متن کاملMathematical Proceedings of the Cambridge Philosophical Society
We study Einstein metrics on smooth compact 4-manifolds with an edge-cone singularity of specified cone angle along an embedded 2-manifold. To do so, we first derive modified versions of the Gauss–Bonnet and signature theorems for arbitrary Riemannian 4-manifolds with edge-cone singularities, and then show that these yield non-trivial obstructions in the Einstein case. We then use these integra...
متن کاملThe Hyperuniverse Program: Mathematical and Philosophical Aspects
The Hyperuniverse Program is a new approach to set-theoretic truth due to Sy D. Friedman, leading to the resolution of many questions independent from ZFC. In this talk I will introduce this program by briefly illustrating its mathematical content, and by discussing its philosophical assumptions and implications.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Philosophy
سال: 1926
ISSN: 0022-362X
DOI: 10.2307/2014514